Thanks! That worked. But now I am facing a new problem. The wallet dump seems to contain tons of lines but I cannot locate my BTC address that I used for this wallet anywhere in it. The address I have is starting with number 1 but all the addresses I can see in the dump are starting with number 3.
What I am really trying to achieve is to be able to get the private key of my wallet that contains some BTC so I can import it with another wallet that does not require downloading the whole blockchain to be able to function. When I tried:
dumpprivkey mybtcaddress
I get back:
Private key for address mybtcaddress is not known (code -4)