--- baseTypes/simpleExecutable.h.orig	2023-01-04 05:11:39 UTC
+++ baseTypes/simpleExecutable.h
@@ -34,9 +34,9 @@
 **
 */
 
-#include "symfpu/utils/properties.h"
-#include "symfpu/core/ite.h"
-#include "symfpu/baseTypes/shared.h"
+#include "utils/properties.h"
+#include "core/ite.h"
+#include "baseTypes/shared.h"
 
 #include <assert.h>
 #include <stdint.h>
