Fix NPE when coverage directory is empty