Filename extensions do not contain directory separators (fix #1755)