Getting coverage working on Linux.
More work on porting to Linux.