fix python 3 port (demos weren't actually working yet)