increased version number to reflect the 1.9 release -> devel is now 1.10