Switch to ubuntu 12.04 lts (same as on notch6)