Fixes to make voxel-hello-world work again