Gridcoin mining on an old Raspberry Pi