fixed kernel issues; updated installation