Travis found some weird bug; I need linux to diagnose, methinks