Debug printfs to help run test case on Travis