Rename mappings.json to 1.8.json