Fix Travis-CI testing