<a href="https://bitbucket.org/petsc/petsc-dev/changeset/26de1ead89b9285efb27a8689180876aa83921a5">https://bitbucket.org/petsc/petsc-dev/changeset/26de1ead89b9285efb27a8689180876aa83921a5</a><br><br><a href="http://stackoverflow.com/questions/11530203/what-is-more-portable-echo-e-or-using-printf">http://stackoverflow.com/questions/11530203/what-is-more-portable-echo-e-or-using-printf</a>