Can you add this flags in the documentation file Theano/doc/library/config.txt? Put it after the description of the openmp flag