Don't allow __int128 when building GPU Manager, as nvcc does not support it.