spierepf/workspace-pinball not found