Fixing devkit version for release