Hi Cyril, > Hi! > > make 3.81 was released 14 years ago, we can safely require it now. > Sounds reasonable to me. Thanks, merged! Kind regards, Petr