Fix ARMV4 build