A Makefile configuration to configure your Linux distribution