Fix typo in gappalib-coq-0.18.0.ebuild