Update config.mk for Debian