Have Travis CI do it devtools-style