fix the ubuntu 12.04 bug