Extension Changer , a simple desktop application for renaming files extension