Travis-CI builder fix