lots of little shell tweaks to make it work on a raspberry pi