Add fix in devbox script, change setup-centos to setup

Closes-Bug: #1278873

Change-Id: I389cdcfff672e8ec63fed03452e652147fb3d27e