By the way, I talked to Alexandre about the GCOV stuff, basically he wants us to find out why arc profiling borks the preloader. Then the idea is it can be enabled just using CFLAGS. Until that happens though are you generating lcov output anywhere?