Update config.py

fixed path to vexpress dub to use the one checked into the tree