Fix distcheck

This PR should fix 'make distcheck' on the buildbot.