No matches were found for subject:"Bug#819447\: acl2\: FTBFS in stretch \(looks like the same problem in maxima\)"