Work around broken JDK7 FileTypeDetector on Mac OSX