Commit 77531c35 authored by Andreas Marek's avatar Andreas Marek

Repair distcheck

parent 8fbe0a73