Fixed a bug on Windows where checking a PHP file on a path with accented characters (i.e. non-ascii) would result in an error