sh api-make.sh sh only_make.sh cp config/pika_config_default.h config/pika_config.h