fix to ubuntu 12.04