patches for gnubatch util directory