Make timestamp prepending an executable rather than an alias so other scripts can more easily use it.