In start.sh, use the settings.xml path from the environment if available

No, that's an unfortunate left-over :) Will fix.