On Mon, 1 Sep 2014 14:23, dbaryshkov at gmail.com said: > Should we just drop that part of the code? Better add a comment that the fips flag is currently not used. Removing it does not save a single byte. Shalom-Salam, Werner -- Die Gedanken sind frei. Ausnahmen regelt ein Bundesgesetz.