workaround for leading zeros causing failure in string to int conversion in older gnome-shell versions