Raised devel version number to 1.8.x