Hopefully that keeps the dub repository happy.