Use better test method names
test_port7.out and test_port8.out were double-targetted