make sure the core works on raspbian