(Hopefully) fixes GitHub publishing.