Fix non-armv7l builds