Summary of changes: 6c5d749... Added a patch to use correct ODE flags (*) 5fb6536... Add an upstream fix for goal counting (*) 76c7cad... Reverted a merge from master (*) 3720d11... Merged with f15 branch for the goal fix (*) This commit already existed in another branch; no separate mail sent