Add missing directory separator to extras.php