Fix build? (work around header link bug in rdiscount 1.6.8)