Changes needed to make PDF on Ubuntu