try other solution: clean up dist.ini and pollute travis.yml instead