CRUPEST_DOMAIN=@@CRUPEST_DOMAIN@@
CRUPEST_GITHUB=@@CRUPEST_GITHUB@@