[Godwin,Felix] Fixed bug in ci-control script that was breaking the build.