websh is now python3 ready