Makefile modified for user-specific checkin convenience.