change precise64 to trusty64