- add a minor tweak to allow building dist and dist-exe at same time
Merge branch 'common-toplevel' into merge-all

Conflicts:
	.gitignore
	Makefile
	flashproxy-reg-email
	flashproxy-reg-http
	flashproxy-reg-url
Merge branch 'merge-next' into merge-all

Conflicts:
	facilitator/Makefile
	facilitator/facilitator-test.py
	facilitator/init.d/facilitator.in