cudaDeviceReset() is only called when not using QDPJIT (closes #99).