changed to 64bit Debian