[minor issues solved to build from codesourcery]