#include "simulator/creators.h"
#include "optee/creators.h"
-#define TEF_CONFIG_FILE "/etc/tef/tef.conf"
+#define TEF_CONFIG_FILE SYSCONF_INSTALL_DIR "/tef/tef.conf"
#define TEF_CONFIG_MAXLINE 1024
#define TEF_LIB_PATH LIB_INSTALL_DIR "/tef"
#define TEF_IMPLEMENTATION_SONAME "libteec.so"