Apparently I need to fight make distcheck some more, so let's not pretend this is released yet. This reverts commit 0b4112bc.
