Fix segmentation faults on ODROID-XU3/XU4 running GNU/Linux, and probably other 32-bit ARM devices like older Raspberry Pis