Fix my goof with arm binaries in the sim config...