Add Attachment:STR-739: --with-aterm and --with-sdf were needed even without --prefix. strategoxt-manual-stable-latest/manual/installation.html didnt work.