In most cases, $BUILD_BASENAME contains a timestamp, so when building twice in a row from the same commit, we could not have got the same ISO anymore.