kdariane - Revision 599: /src/bin/mincover/dist/Debug/GNU-Linux