Fix for Ubuntu 14.04
Fix for Ubuntu 14.04


Former-commit-id: c529ab7a04d814ae6db7ae6b9af63c661cf5db15 [formerly bd889be8b008a091461b5fd95cc746edcf89b584]
Former-commit-id: 8738b24e1a17e96467fb1f228612db176856e71e
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine