Rename folder util-->devtools and FIX TravisCI AGAIN!