Fix to work with GNOME Shell 3.6.3.1

GNOME Shell 3.6.3.1 has 4 version numbers which confused the logic in
extension.js that was making sure there are only 3 version numbers.