Fix the Linux docker branch of build.sh
    
    There were multiple problems in the Linux docker branch of build.sh:
    
    - Intendation was wrong
    - There was a reference to undefined variable $runtime,
      leading to corrupted output.
    - Output had strange linebreaks.