adapting to the last version of minitoolbox