bugfix compilation error due to file move