Seems to work against Vrui 2.6