trying to get coverage reporting to work right on ubuntu 12.04