fixing travis build, to be squashed