I managed to make it run.
It probably was a problem of the wallet. I copied the wallet from another machine and it worked.
The conf is the following
addnode=pool.biblepay.org
gen=1
genproclimit=2
poolport=80
workerid=
pool=https://pool.biblepay.org
minersleep=0
utxooverride=-1
tithe=10
tithing=10
nickname=pagalo