Fix ubuntu 12.04.