Hopefully fix builds on travis/ubuntu 12.04