Fix issue #1: provide several file extensions