Ensure the portfile has a port number inside