fixing build on ubuntu 12.04