Installing MILEPOST

Solution for "Database name not found!" error: Navigate to /demo/bitcount.c/___common_environment.sh

and edit the line to: export CCC_CTS_DB = fursinne_coptcasestest

and export CCC_CTS_USER = [your ctuning.org username]

add: CCC_CTS_PASS = [your ctuning.org password]

To be finished, with a link to a zipped correct working version that is patched.