@ DrAzzy and @sterretje
Thanks for your prompt replies. Updating the board manager indeed did the trick.