Made the develop.py script compatible with ancient Python versions (aka 2.6)