Hack to deal with namespace conflict. It is better to use std:: though.