users in the Makefile so they can be pushed into install scripts