Try to fix the Travis build