adding pinoccio to platforms.js for  #2