changed executable filename