- updated to 1.4.17
- updated info patch
- removed obsolete stdio-gets patch