fixes to compile with Vrui-3.1-002