Fix db export

On at least one hosting, php://stdout is not sent. php://output seems to be transmitted from all hosts.