diff --git a/communication_techniques/lancement.sh b/communication_techniques/lancement.sh
index a17f094..1b6bb87 100755
--- a/communication_techniques/lancement.sh
+++ b/communication_techniques/lancement.sh
@@ -26,12 +26,7 @@ logFileName="\$perfDirName/cache_\$typeCache-nbProd_\$nbProd-typeProd_\$typeProd
 expDirName="logs"
 perfDirName="$expDirName/perfCommMulti-`date +'%F-%Hh%Mm%S'`"
 
-if [ -n "${LD_LIBRARY_PATH:-}" ] # If LD_LIBRARY_PATH is unbound then the expansion is "null" value
-then
-	LD_LIBRARY_PATH="${LD_LIBRARY_PATH}:${PHLDir}/${PHLLibDir}:${PAPIDir}/${PAPILibDir}:${PAPIDir}/${PAPILibDir}/${PAPIPFMDir}"
-else
-	LD_LIBRARY_PATH="${PHLDir}/${PHLLibDir}:${PAPIDir}/${PAPILibDir}:${PAPIDir}/${PAPILibDir}/${PAPIPFMDir}"
-fi
+LD_LIBRARY_PATH="${LD_LIBRARY_PATH:-}${LD_LIBRARY_PATH:+:}${PHLDir}/${PHLLibDir}:${PAPIDir}/${PAPILibDir}:${PAPIDir}/${PAPILibDir}/${PAPIPFMDir}"
 
 PAPILibPresent=""
 PFMLibPresent=""