Stop ghci025 sharing files with prog001