Tiny Linux compilation fix.