Tweaking the buildfile

To make miniboxing work... or at least get it over the next bump: https://github.com/miniboxing/miniboxing-plugin/issues/157