fix exe extension