add viaverde.pt to the nosymbols list