fix tests + fix compilation of symphony