Fix the !COMPRESS_USER_CORES build.