Hi Dennis!
When you selected the name for yhe output file you have to append the extension as well, I mean rev_tcp_8080.exe

Try it out and let me know how it goes!
Diego