issue #2345: edit for linux compile error