trying to let travis install virtuoso from git