configuration files for Proclus