Removing boost dependency from Micfile