we were picking the wrong Top.bsv in some of the tests