fix USER_TIME casts