Delete lock_protocol.h~