Fix distcheck: part 2, add option to configure.ac