fixed bug in setup.mk