He paid me $1500 to port it. That was my first paid software job. It led to an internship somewhere else and the rest is history.
Funny enough, while trying to find information about it, I found a Usenet post in Google Groups where the professor mentioned my name in 1993 about the stack. I never knew he posted about me before today.