Make underscore available in webppl