Our VXL revision temporarily pointed to a fork of VXL while we were waiting
for PRs to be accepted. They have now been accepted, so we can start
tracking the main fork of the project.