This is a minor update to add an ARM build for Raspberry Pi devices. It should also work with other ARM devices that run Linux and provide SDL 1.2 and OpenGL as it doesn't use any RPi-specific functionality.

This will be merged with the regular Linux version in a future version.