do not strip on linux if -ggdb3