You mean PS *stropъ < PIE *ḱrapo- is not possible? Or English roof simply from another root? In entry *hrōfą are listed *krāpo-, *ḱrapo-. And ESSJa mentions Englishroof for Proto-Slavic*stropъ: "упомянутые герм. слова связываются со слав. *stropъ из и.-е. *ḱrapo-".