Fix Travis-CI configuration