fix #3272: remove wrong extension from files