switch to older ubuntu version - due to problems under windows (hanging forever)