Bug 9767: Fix for updatedatabase.pl (mixed version numbers)

Signed-off-by: Marcel de Rooy <m.de.rooy@rijksmuseum.nl>
Signed-off-by: Jared Camins-Esakov <jcamins@cpbibliography.com>
Merge branch 'bug_9767' into 3.12-master