fix for issue #578: update_asset_mtimes breaks in bash v4