A version of the dlx ISA simulator that is compilable on Linux