Corrected the OS switch of the Makefile
Added mychk target