fix the build, broken by Theano