Bugfix #2

Prior to this commit we required a version of standard lib that did not work
with PE3