makedist.py: My server is slow; increase timeout to 10 minutes