The binary rpm doesn't work for compiling things for profiling because there is no /usr/local/lib/mlton/lib/prof.o included.