silence -Wformat warnings