small adjustments so coveralls.io is able to display the source