Update build script (ubuntu)
Merge remote-tracking branch 'origin/0.7.6' into 0.7.6