Added the python-vex package