use a script from devtools in Travis build