[gambit-list] Build times on Raspberry Pi 2 B