Using latest Paket and relaxing dependencies