1 files changed, 3 insertions, 0 deletions

diff --git a/src/util/os_installation.c b/src/util/os_installation.c
index 674e47a5f..e35f86c3e 100644
--- a/src/util/os_installation.c
+++ b/src/util/os_installation.c
@@ -396,6 +396,9 @@ os_get_gnunet_path ()
 #if LINUX
   if (NULL != (ret = get_path_from_proc_maps ()))
     return ret;
+  /* try path *first*, before /proc/exe, as /proc/exe can be wrong */
+  if (NULL != (ret = get_path_from_PATH ("gnunet-arm")))
+    return ret;
   if (NULL != (ret = get_path_from_proc_exe ()))
     return ret;
 #endif