Possible fix of minecraft's directory detection.

Renamed mappings file.