bugfix in paths.sh