-#ifndef HEADER_THREAD_H
-#define HEADER_THREAD_H 1
+#ifndef THREADS_THREAD_H
+#define THREADS_THREAD_H
+#include <debug.h>
+#include <list.h>
#include <stdint.h>
-#include "lib/debug.h"
-#include "lib/list.h"
#ifdef USERPROG
#include "userprog/addrspace.h"
void thread_yield (void);
void thread_block (void);
-#endif /* thread.h */
+#endif /* threads/thread.h */