On Mon, Nov 23, 2015 at 06:59:01AM -0800, Anton Shterenlikht wrote: > The problem seems to be in 5.1. > It doesn't occur in 5.0 or 6.0. > It compiles with 5.3 (i.e., the 5-branch). So, it has been fixed. -- Steve