danielcregg/gitpod-lamp not found