bug fixes
Merge branch 'sys_calls' of github.com:ilyanep/pintos-awesome into sys_calls

* 'sys_calls' of github.com:ilyanep/pintos-awesome:
  Minor fix to exit()