Issue 119: download files with different extension than exe

This pull addresses Issue #119

Not much to it really.