fix for distcheck