Fix for Ubuntu 13.10 build, see https://github.com/uic-evl/omegalib/issues/84