Fix #1018 (rasm2 segfaults on 32-bit ARM). Thanks @xobs