Adobe Reader: use wildcards instead of specific versions (originally from theatre-x in CleanerML repository, 26 December 2012)