dummy main.js to make extension manager happy