Add missing ext.php