small correction to user makefile