In ubuntu and OSX, attempting to run build.sh after running ./paket install returns the following error

MSBUILD : error MSB1009: Project file does not exist.
Switch: ZFS-SDK.sln
...

due to misconfigured paths in the build.sh file

Note that this is running the project without Visual Studio

Whenever a script (tested with .fsx files) prints to stderr (as with eprintfn) zebra swallows the output instead of sending it to stderr.

This is caused by using Platform.run from zenprotocol's Infrastructure module, which redirects output to a logger.
Fix is to invoke ZF* directly from zebra

Paket failed with
-> Package LightningDB was referenced in /home/elan/programming/apps/zen/ZFS-SDK/paket-files/gitlab.com/zenprotocol/zenprotocol/src/DataAccess/DataAccess.fsproj, but it was not found in the paket.lock file in group Main.

On ./paket install:

Paket omitted 2 warnings similar to the ones above. You can see them in verbose mode.
Paket failed with
-> There was a version conflict during package resolution.
Resolved packages:
- zen_z3_windows 4.5.1.7-v1f29cebd4df
Conflict detected:
- Dependencies file requested package Infrastructure: 0.3.23
- Available versions:
- (0.3.23, [https://www.myget.org/f/zenprotocol])
- (1.0.0.3, [https://www.nuget.org/api/v2])
- (1.0.0.2, [https://www.nuget.org/api/v2])
- (1.0.0.1, [https://www.nuget.org/api/v2])

 Please try to relax some conditions or resolve the conflict manually (see http://fsprojects.github.io/Paket/nuget-dependencies.html#Use-exactly-this-version-constraint).

-> Unable to retrieve package details for 'Infrastructure'-0.3.23
-> Couldn't get package details for package Infrastructure 0.3.23 on https://www.myget.org/f/zenprotocol.
-> error
-> Could not retrieve data from 'https://www.myget.org/f/zenprotocol/Packages(Id='infrastructure',Version='0.3.23')'
-> RequestFailedException: Request to 'https://www.myget.org/f/zenprotocol/Packages(Id='infrastructure',Version='0.3.23')' failed with: 404 NotFound —
-> RequestFailedException: Request to 'https://www.myget.org/f/zenprotocol/Packages(Id='infrastructure',Version='0.3.23')' failed with: 404 NotFound — <m:error xmlns:m="http://schemas.microsoft.com/ado/2007/08/dataservices/metadata"><m:code /><m:message xml:lang="en-US">Resource not found for the segment 'Packages'.</m:message></m:error>

The installation instruction in the README for OSX is not correct. It should be exactly the same as the Linux section.

Attempting to run the command suggested mono paket install returns an error Cannot open assembly 'paket': File does not contain a valid CIL image.. Running ./paket install is however okay.

This follows on from #7 (once that is addressed) the process throws up two more errors saying

...
chmod: packages/zen_z3_linux/output/z3: No such file or directory
chmod: packages/zen_z3_osx/output/z3: No such file or directory

It appears the files are generated with a slightly different name in reality? i.e.,
packages/zen_z3_linux/output/z3-linux and packages/zen_z3_osx/output/z3-osx