That sucks, man. Real pity. Had it installed just yesterday and it worked like a dream. But perhaps I will try Debian with nvidia proprietary drivers.