gethostnames.py added