more fixing for mixmaster build on ubuntu 12 LTS