Fixed Travis build (now that Jenkins works again :) )