Made some headers public in a lazy compiling workaround