debian packaging: now compiles on x64