update version number and bootstrap compilers