Add definitions for bucks.js