use std instead of boost - part 13