MapLoader can load either non-gzipped or gzipped files. This is to allow people working on maps to continue working on them afterward. It will gzip the files on save always. Can remove this after the 2-3 guys working on maps have saved their maps at least once.