Rename PushZendStudio to PushZendStudio.php