Pretty sure tilde isn’t expanded in that include. Probably we should print an error for that somewhere.