Revert #209
Using the new paket installer