Fix bitv. Top level config.mk