From d7e3e4bb0407718d27cb62c6409dfaf0ea0986d1 Mon Sep 17 00:00:00 2001
From: Christoph Hertzberg <chtz@informatik.uni-bremen.de>
Date: Sun, 5 Jun 2016 10:15:41 +0200
Subject: [PATCH] Removed executable bits from header files.