Insructions for setting up on debian