added Raspberry Pi binary (#2) and renamed executables (#7)