Fixing file extensions for OSX + Java7.