fix build (ubuntu 12.04)