Some hacks under linux