Fix for GNU sed
Merge pull request #531 from stepanstipl/fix-gnu_sed

Fix to work with GNU sed

Conflicts:
	script/bootstrap