shell/download: wget a file saving as filename without any extra url garbage