Fixed to make path compression compile added flags
Merge remote-tracking branch 'upstream/develop' into develop

Conflicts:
	src/indStep.ml