Fix to complain when we have no tinyelf binary