userprog makefile changes