allow port numbers in disk map input file