new version of redirect() in utilities.php