Checkstyle & stuff

Prefer `rm -f`. Whether rm tries to be interactive is (afaik) not well defined.