fix for armv7 issue