update version number after match_extensions() fix