bugfix: install filenames in rocks were wrong (strange: it was working anyways)