Fix #27 use hypersonic by default