added port number to coverage builder config #697