Delete fast_mutex.h