#9: added formerly ignored files