Remove unused library

See #504.