disable built-in profiling
double precision fix
change build to not use double precision