Bug fix on distcheck