this repository reproduces an issue with travis.