Add new symbols to symbols file

There are some optional symbols missing now, but let's keep
them in for now, maybe they reappear/still exist on other
platforms.

The newly added ones actually appeared in older versions
already, but there's no huge gain in finding out when precisely
we added them.