minor update on installing debian8