fixing small bug in config.mk