Delete cookie.php

Ref #640, #641