Fix build problems for ubuntu 14.04