correct name of executable