Added some src/ stuff to make distribution hopefully work