Change bash histfile time format