Update for more standard location of $EIFFEL_HUB/iso8601 library (i.e. not $EIFFEL_HUB/library/iso8601).