On 2015-12-30 00:36, ludo@gnu.org wrote: > Looks like you forgot the patch. :-) :) Here it comes...