Delete Bitset.php