Remove obsolete ext.php