fix distcheck