Fix #3: plug std{err,out} to enable coloured output