PDF is now building on OSs with case sensitive filenames.