add file extension under windows