Minor fixes for jcuda