Linux in education: integrating a Linux cluster into a production high performance computing environment