Try to get the make config.mk rule a bit less buggy