Fix problems introduced in 4e3cd9a9c2 and 88fb5390af; add more SIMPL-DOS versions