Actually commit the source code

I didn't commit tinyptc.ceu though I should have