cleanup
Fix timing issue with paket install --hard - fixes #293