Publishing coverage reports from build  (php 5.4.11-1~dotdeb.0).