Delete unused fast_mutex.h