Fixed illegal format when output failures.
Complete module names expanded by camlp4.
Executable file built by OMake is only one file that is run_simplespec.ml.