fix Pico TTS incompatibilities with 64-bit #487

Open
thestinger opened this Issue Nov 13, 2016 · 5 comments