[branch-0.9] manually update some version numbers to 0.9.3-SNAPSHOT