Restore lost parts of 43d509a967b8c2f87b41693d4f48cbd81629a467.

Fixes build on Linux/ARM.