Small renaming [skip CI]
Small renaming [skip CI]


Former-commit-id: 88e2dc1936f36f5f62137f68d2758fad681ba665 [formerly 6a331fb113881d6ccea9030cdd523d4957c7121b]
Former-commit-id: 103cf9ea60f542091881c1b8b6bc3437fabfe3dd
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine