bugfix: trusty 32bit was used instead of 64bit, fix naming

Signed-off-by: Dominik Richter <dominik.richter@gmail.com>