Remove the requirement to install PyOtherSide manually as it seems to
have been added to Void's package repository some time ago.