Fix #740: Allow to run stuff with names that are not JS identifiers