make CUDA-AVAILABLE-P return T instead of DEVICE-ID