remove duplicated file extension. Fixes #247