Update formula for 8.1.0.CR1 to be --devel instead of the new version