add user.h in exec.c