several ifdeftoif fixes which solve typeerrors in the busybox case study