proper main files