Sorry for the double post. --- This message has been sent through the ALE general discussion list. See http://www.ale.org/mailing-lists.shtml for more info. Problems should be sent to listmaster at ale dot org.