Specify file name that the produced executable gets.