fix missing files in distcheck