Ignore *.mps files