Explicitly state the executable files