added coverage flags to the right lib