fixed trusty 64bit box