Check-in [00ac7945a9ead] seems a more likely cause than
check-in [6b0196aeb874f], in which case check-in [a25092b14ca]
should fix the problem.  Please try [a25092b14ca] and mark this
ticket as "fixed" if it works.  Thanks.