Changed header search path for Mantle.