int_bak: old file, removed

Not used anywhere, removed int_bak.php.