Build instructions on GNU/Linux