Add coverage files which were accidentally ignored by my global ignore