That laptop isn't my primary computer anymore so I'll have to update it and
check.  I'll let you know in the next couple days.  Last time I used it (last
year) it still locked up every once in a while but I'm not sure if that was
directly related to this bug.