On Apr 26, 2015, at 12:34, Frank Schima wrote: > > Given the open question of whether or not to keep version 4 around and the mention of segfaults in version 5, it is not really clear what to do. It might be reasonable to just update the port to 5, and if anyone complains, we can later add a homebank4 port.