Increase network timeout to 10 seconds (fixes #19).