update devtools install instruction, fixes #2