Properly handle the dot in the directory names when replacing the file extension

Description

Properly handle the dot in the directory names when replacing the file extension during the export.

Conformity

• Changelog entry
• Unit tests
• Update INSTALL
• Downport
• Fixes:

When external dependencies are removed

• Reporting to ...