Adding 32 bit binary for hello world program compiled on 32 bit debian host