option('glibc_dir',
	type: 'string',
	value: '',
	description: 'Path to the glibc source tree (used for internal headers)')
