I would have assumed they did, UNLESS you developed or started to develop something prior to work asking and was done in your own free time.
Obviously many things can change ever aspect of the IP agreement and yeah, it's probably not as clearcut as I originally assumed.
Regardless, hopefully the guy gets something for his work if he's entitled to it.
Plus a lot of antivirus whatevers will straight up block the downloading of *.exe