This allows higher optimization levels in optimized builds and gcov-enabled CK libraries in --enable-coverage builds.