Marina/MarinaTest.java: a few hacks to get the silicon working