minors
minor
small tweaks of the build system to fit debian systems