Fixing potential bug in unlink-tools()

profile-util

@@ -21,8 +21,8 @@ link-tools() {
 }
 
 unlink-tools() {
-  PATH=$(echo $PATH | perl -pne "s/(?<=:)$HOME/tools.*://g")
-  LD_LIBRARY_PATH=$(echo $LD_LIBRARY_PATH | perl -pne "s/(?<=:)$HOME/tools.*://g")
+  PATH=$(echo $PATH | perl -pne "s/(?<=:)$HOME/tools.*?://g")
+  LD_LIBRARY_PATH=$(echo $LD_LIBRARY_PATH | perl -pne "s/(?<=:)$HOME/tools.*?://g")
   export PATH
   export LD_LIBRARY_PATH
 }