Update default version for ubuntu 14.04 to 9.3