mk: fix 32-bit link with gcc