Fixes #6426 This aligns the paths to earlier builds, so that the path in people's `options` file is more likely to work correctly, immediately.
Fixes #6426 This aligns the paths to earlier builds, so that the path in people's `options` file is more likely to work correctly, immediately.