Bugfixes for the FiVES on Mono/Linux

A few bugs crawled in as I was only testing FiVES on Windows. They are fixed in these commits.