[core] options filenames in setup.py