Delete mapSpecs.ml