Small patch to see if Ben's build problem gets fixed