It looks like you've mentioned — an executable filename.