Publishing coverage reports from build 20 (php 5.3.3).