also replace armv7l with armv7h