Fix build for armv7s