Hopefully fix markdown formatting of build instructions on github.