viboes Fix syntactical errors. Remove inclusion of user_time.h.