fixing compile error WIP: reaching do_syscall()