mosml compatibility patch (same names sig/sml/files)
mosml target in Makefile