CABALFLAGS += -f GMP  -f FFI --disable-documentation --disable-profiling --disable-library-profiling