Updates for GNUHawk 1.8.5 release