Workaround for a ws4py python 3 incompatibility