fix FTBFS with format hardening [-Werror=format-security]