remove a spurious dependency from Open.v
Merge pull request #624 from mikeshulman/opendep

remove a spurious dependency from Open.v
./autogen.sh