Upgraded to Vrui-3.1