Bug fix to previous release: nothing is now done if there's no example file.