repair compilation for ubuntu 12