Removed include/mps directory, which was a remnant from the previous split.