Use Ubuntu Trusty 64 as default os