Push to github after uploading to the PPA
Make -S always output something
More conservative size rounding