Remove --with-nosehtml switch (not working under TravisCI)