Changes against Vrui 2.7