hmm these are instructions aren't linux-specific, but I see why they need to be here