unbreak build on Mac OS (without X11)
If the shell profile already has a path that starts with
Fix the saving of the profile configuration by always saving it under