Header to work around CUDA incompatibility with GCC 4.7+.