Hopefully all Linux boxes are working properly! -- Sent from Gmail Mobile -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mail.ale.org/pipermail/ale/attachments/20141103/f47b367d/attachment.html>