Added real files again

Hopefully nothing will go wrong this time...