Fixed generation bug for ARM ABI.

Closes #351.