Fixed a library problem with CUDA 5.5. on OS X (Mavericks)