Fixed Makefile and verified my_mutex_module.