fix build ubuntu:12.04-dev bug