Fix Travis problems.