Why not upgrade to Haserl 0.9.20? I know it is called a developer version, but the improvements compared to 0.8.0 are so substantial that it would be a good idea to upgrade. We have been using 0.9.x for a long time here in our embedded firmware project. -- Alexander Kriegisch