[PATCH 38/50] make.sh: Avoid calling date when determining elapsed seconds