Correct executable filename