- added two git patches needed to work with isl 0.13
- release 2