Linux: fixed arch on x86_64 for Debian