Delete stdlib.php