Workaround for libgecode build issue
@see https://github.com/opscode/dep-selector-libgecode/issues/18