Use LuaCov 0.4