fixing ubuntu-14.04