make mame_tools executable
fix download_and_extract for zip file when redirection happens