This file marks the pattern devel_python3 to be installed.