fix this to work on ubuntu 14.04 too