Now configure does not abort any more if boost is not there. Therefore no patch is needed. [[Imported from SVN: r6112]]