adapt to libmarble changes. (Works with Ubuntu 14.04)