Fix for Installation problem #708