put everything into a single file