CloudDOE: update version number and binary files.