Temporary workaround for travis not being able to install vertex