Working around a bug in Python3 in the Raspberry Pi