fixed 14.04 build problems