travis and other ci services shouldn't install dev-env specific tools