Update X11 paths in config.mk for debian