Fixed the name of the generated binary.

Now it corresponds to the name of the project (this is fine like that in fact).