Specify file name that the produced executable gets.
