renamed to file_lock.php