More debugging changes for @mpapis on travis.