Remove unneeded stuff from ext.php