remove deprecated --html5 flag