The Linux Programming Interface as a university course text