* executable flag for db-patcher.php