modify jove.dart to use sync read of stdin