Fix Travis-CI -build