fix wget -N and os.execute