Facilitate VruiVTK installation