install-pilas-on-setup.py
remove-development-makefile
