docker: add 32-bit binary