More bugfixes -- now complains about an unrelated undefined reference in MinoFactory