* linux-history.sh: compare integers instead of strings