Hopefully now git pushes the right files :-)