workaround for webkit bug
remove superfluous file