Fix erroneous default for ubuntu 10