git commit & push at the end of dist.ini
Don't die when using 5.18 and not all methods are defined