Manual export.cmake (was auto-generated)