Fix 8051 segfault