Seems that 17.0-rc1 is unstable on Travis CI; take it out; we need 17.0 anyway...