Small build fix for ARM