Change to `8.3-dev` or Jenkins will automatically build an official release because our version does not end with `-dev`