fixes build on armhf architecture