Will give these ideas a try... I think I tried ClearMemory041063's suggestion of dropping the ".js" with the same result, but will try tomorrow - left my puck at work by accident :(.
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
Why not use
var vec3 = require("Vec3"); //no errors