Mysteriously in the last 2 days version 0.12 has become 0.13 and 0.12 has vanished, changed the requirement to latest version to prevent problems when newbies try out the code