Fix issues along the installation workflow