bugfix for ARMV6