Correctly unset the PHP session cookie depending on its parameters