update to ubuntu trusty 3.13