frog-lib.hpp update