pgsql_s_lock.c/h removed by accident