use standard __func__ instead of __PRETTY_FUNCTION__
Merge pull request #4111

1cc7f54 use standard __func__ instead of __PRETTY_FUNCTION__ (Philip Kaufmann)