Fix build on 14.04