Deal with index.php lines endings containing \r