environmentsetup: Added ubuntu 12.10