fixes #567
update version info for dev 1.9.3.1 online