Trusty mirror instead of precise (ubuntu 14 vs 12)