Add -fprint-explicit-foralls flag; fixes trac #1474