Fixed bug that broke armv7 support