Fix Travis build #2