IDA Star Search is probably working now I guess.