Improved build script for CI (debian / ubuntu)