Fix for #6 - More up to date RPi.arm source is available

Here's a pull request for #6. I've verified that it works for an RPi, but not for anything else.