relink.php: would fail on non-Windows systems if the files already exist