Update PHP/utils.php. Thanks @Vincent-Michael, should fix a lot of fuckups.