[pymor.cfg] changed name according to pyMor