another platform tycho fix that makes it possible to only include the right fragment. Otherwise a wrong path may have been obtained resulting in prob failing