# useless for us, but needed by Symfony Flex