Bump default version for lib*.deb in main to 9.3