More cover compilation!