Fix make_no_execute().