timsat/prismatoid not found