php 5.5: improve system libzip patch