fix coverage generation to work on both osx and linux