bugfixes regarding gcc arm embedded