Made make distcheck work again