silencing unused variables in some overloaded templates, with (void), that were generating warnings with -Wextra, ref #53