Hotfix/fix travis ci