Fix issue in travis integration