add __FILE__ and __LINE__ (#4)