updated vexer to 0.0.9