Rename into deriving

Test integration with Jenkins