fix compile error with XML comment printf alias