Better strip [skip CI]
Better strip [skip CI]


Former-commit-id: ead1745bdcf4bfe08f2858283a945909c37e6dd1 [formerly 877c709d5cb5e15c7f768e52fae9015914a52fe5]
Former-commit-id: f61ba61c6422cf5b74b9281791984ea06917e648
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine