more hacks to work on tinycore