Fix some distcheck issues