Upgrade anyremot to 4.7.1 (#3907)