fix of build in updated docker on ubuntu 14.04