Bump version to 0.9.3 in build.gradle, too