simplify get_lock_file_name()