make coverage work nicely with mac and linux