more hacking on stupid arm-non
Prune devel/tkp4