Updating crocodile SDK to latest master dist