fix api_coverage printmsgs option