Fixes to make the installation work.

I had to make 2 small fixes so that the installation work properly on my machine. Is it normal?