cuda4.2 installer should work now ( not very sure about the last export part but it should work! )