Fix 8051 port builds to play nicely with #173