renamed CUDA-4.2* to CUDA-4.2.9* for conformance with the rest

Signed-off-by: Fotis Georgatos <fotis.georgatos@uni.lu>