fixing all warnings in charm proof