Fixed a library issue in Ubuntu 12.04
Fixed a library issue in Ubuntu 12.04


Former-commit-id: 45cf14556c5b8611d50d8e1dc0a0ce203527776d [formerly a3c61670741a3269c8f5782e564793d5cccbbc9f] [formerly a3c61670741a3269c8f5782e564793d5cccbbc9f [formerly 83cf4717fdef2d6e49cd2ed82ed5272e6060895d]]
Former-commit-id: 4dbc6fbaa37a98378f39f9b53e9890a7173d4f3a
Former-commit-id: 80a814899d7ed6f6ac9f89087918a70c7f685d2d
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine