minor fix in test_compilerLib.sml