issue 1229: Fixed bad basename command in ht version