Made some casts explicit, disabled cast checking, updated website to account for Ubuntu deficiencies.