ensure texinfo is installed on the ci server