Bugfix: convert slashes in file names to backslashes when attempting to
determine PHP type names.