* TODO: test_matinv is still hardcoded to work for seed=1. Brought back seed of
1 until this is fixed (when THEANO_DEFAULT_SEED is specificed however, this
value will be overriden and the test will fail again)