Building basement in hard bedrock