fixed ubuntu 12.04 build