Updated the Propeller SDK library to build #94