dev.rpm: adapted to upstream change to development.ini