+ redirection of console output working (but disabled right now)