Specify explicit dependencies

Otherwise we break Paket