fix arm build

This fixes a simple oversight in the arm build.