shell.php: prevent permission error