Modified which version of Ubuntu to use for cvMaker box