JPTUI v4.2: text user interface library (binaries).