1.1 --- a/lib/src/file_resource.cc	Thu Apr 02 23:53:32 2020 +0200
     1.2 +++ b/lib/src/file_resource.cc	Sat Apr 04 23:11:12 2020 +0200
     1.3 @@ -19,14 +19,8 @@
     1.4   * Boston, MA  02110-1301, USA
     1.5   */
     1.6  
     1.7 -#include <l4/re/c/util/cap_alloc.h>
     1.8 -
     1.9  #include <stdio.h>
    1.10  
    1.11 -#include <pthread.h>
    1.12 -#include <pthread-l4.h>
    1.13 -
    1.14 -#include <ipc/server.h>
    1.15  #include "file_resource.h"
    1.16  
    1.17