switch to trusty (ubuntu 14.04) due to oom