modify makefile in nachos/test (from  to )