aladdin_setup1.xml corrected