Minor fix: compile the USER module instead of just requiring it