Version bump to dev.13