Fix #76: Build issue on ARM

Thanks to Martin Unzner for the report and suggested patch.