diff --git a/3rdparty/mmu_man/scripts/dev-perso b/3rdparty/mmu_man/scripts/dev-perso
index 27931869ab..b9c4c9f49b 100755
--- a/3rdparty/mmu_man/scripts/dev-perso
+++ b/3rdparty/mmu_man/scripts/dev-perso
@@ -101,7 +101,7 @@ function dev() {
 		#export PS1='\[\033]0;['$1':\W]\a\]\[\033[1m\][\u@\h \w]\[\033[0m\]\$ '
 		#export PS1='\033]0;['$1':\W]\a\033[1m[\u@\h \w]\033[0m\$ '
 		export PS1='\[\033[1m\][\u@\h \w]\[\033[0m\]\$ '
-		export PROMPT_COMMAND='echo -e "\033]0;['$1':${PWD##*/}]\a"'
+		export PROMPT_COMMAND='echo -en "\033]0;['$1':${PWD##*/}]\a"'
 		;;
 	esac
 	# lower priority so background builds don't slow the GUI too much