Add some comments in configure.ac to explain recent changes
Add mkdir in install-yices.sh for better compatibality